$\forall$${\it es}$:ES, $p$:(E$\rightarrow$(E + Top)), $a$, $b$, $c$, $d$, $e$:E. $c$ $p$$\leq$ $d$ $\Rightarrow$ $d$ $p$$\leq$ $e$ $\Rightarrow$ $a$ $p$$\leq$ $b$ $\Rightarrow$ $b$ $p$$<$ $c$ $\Rightarrow$ $a$ $p$$<$ $e$